instance of an object identifier type which relates to an associated module

NOTE In ISO/IEC 8824 a module identifier is defined as: ModuleIdentifier::= modulereference DefinitiveIdentifier If the "DefinitiveIdentifier" is not empty, the denoted object identifier value unambiguously and uniquely identifies the module being defined. No defined value may be used in defining the object identifier value.